#define __INITCODE_C__

#define LAB_9_CASE_1
#include "boot/testcases.h"
